How to Model Planning and Scheduling Problems using Timelines
نویسندگان
چکیده
The CNT framework (Constraint Network on Timelines (Verfaillie, Pralet, and Lemaître 2008)) has been designed to model discrete event dynamic systems and the properties one knows, one wants to verify, or one wants to enforce on them. In this paper, after a reminder about the CNT framework, we show its modeling power, first on two generic problems (the planning problem in the STRIPS framework and the resourceconstrained project scheduling problem), then on two specific problems coming from the aerospace domain (the mission management problems for a team of unmanned air vehicles and for an Earth watching and observing satellite).
منابع مشابه
How to model planning and scheduling problems using constraint networks on timelines
The CNT framework (Constraint Network on Timelines) has been designed to model discrete event dynamic systems and the properties one knows, one wants to verify, or one wants to enforce on them. In this article, after a reminder about the CNT framework, we show its modeling power and its ability to support various modeling styles, coming from the planning, scheduling, and constraint programming ...
متن کاملUsing Constraint Networks on Timelines to Model and Solve Planning and Scheduling Problems
In the last decades, there has been an increasing interest in the connection between planning and constraint programming. Several approaches were used, leading to different forms of combination between the two domains. In this paper, we present a new framework, called Constraint Network on Timelines (CNT), to model and solve planning and scheduling problems. Basically, CNTs are a kind of dynami...
متن کاملA timeline, event, and constraint-based modeling framework for planning and scheduling problems
This paper presents a framework dedicated to the modeling of deterministic planning and scheduling problems. This framework is based on the notions of timelines (evolutions of state variables and of resource levels), events which impact timelines, and constraints on and between events. Building it has been motivated by the observation that many real planning and scheduling problems involve a fi...
متن کاملExact Mixed Integer Programming for Integrated Scheduling and Process Planning in Flexible Environment
This paper presented a mixed integer programming for integrated scheduling and process planning. The presented process plan included some orders with precedence relations similar to Multiple Traveling Salesman Problem (MTSP), which was categorized as an NP-hard problem. These types of problems are also called advanced planning because of simultaneously determining the appropriate sequence and m...
متن کاملCoordinated Planning and Scheduling of Electricity and Natural Gas Systems
In this paper we propose a model for coordinated planning of power and natural gas systems, as a part of electricity supply chain. This model takes into account costs and constraints of both systems, and with hiring simplifications and linearization methods transforms initially nonlinear formulation to a mixed integer linear programming (MILP) problem. Natural gas would be assumed steady state,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008